Tham khảo Phép_toán_hai_ngôi

Tham khảo Phép_toán_hai_ngôi

Bài viết về chủ đề toán học này vẫn còn sơ khai. Bạn có thể giúp Wikipedia mở rộng nội dung để bài được hoàn chỉnh hơn.

x
t
s

x t s Logic toán
Chung	Ngôn ngữ hình thức Formation rule Hệ hình thức Hệ suy luận Chứng minh hình thức Ngữ nghĩa hình thức (logic) Well-formed formula Tập hợp Phần tử (toán học) Lớp (lý thuyết tập hợp) Classical logic Tiên đề Natural deduction Rule of inference Quan hệ (toán học) Định lý toán học Logical consequence Hệ tiên đề Lý thuyết hình thái Symbol (formal) Syntax (logic) Lý thuyết (logic toán)
Thuật ngữ logic	Mệnh đề toán học Suy luận Luận cứ logic Validity Cogency Tam đoạn luận Square of opposition Sơ đồ Venn
Propositional calculus Đại số Boole	Boolean functions Phép tính mệnh đề Công thức mệnh đề Logical connectives Truth tables
Logic vị từ	Logic bậc nhất Lượng từ (logic) Predicate (mathematical logic) Logic bậc hai Monadic predicate calculus
Naive set theory	Tập hợp Tập hợp rỗng Enumeration Extensionality Tập hợp hữu hạn Tập hợp vô hạn Tập hợp con Tập lũy thừa Tập hợp đếm được Tập hợp không đếm được Recursive set Tập xác định Range (mathematics) Ánh xạ Hàm số Phép toán hai ngôi Cặp được sắp
Lý thuyết tập hợp	Foundations of mathematics Lý thuyết tập hợp Zermelo–Fraenkel Tiên đề chọn General set theory Kripke–Platek set theory Von Neumann–Bernays–Gödel set theory Morse–Kelley set theory Tarski–Grothendieck set theory
Lý thuyết mô hình	Cấu trúc (logic toán) Interpretation (logic) Non-standard model Finite model theory Truth value Validity
Lý thuyết chứng minh	Formal proof Deductive system Hệ hình thức Định lý toán học Logical consequence Rule of inference Syntax (logic)
Lý thuyết tính toán	Recursion Recursive set Recursively enumerable set Decision problem Church–Turing thesis Computable function Primitive recursive function

Liên quan

Phép cộng Phép biến đổi Laplace Phép nhân Phép toán thao tác bit Phép chia Phép màu đã cho ta gặp nhau Phép toán modulo Phép hợp Phép thuật (phim truyền hình) Phép trừ

Tài liệu tham khảo

WikiPedia: Phép_toán_hai_ngôi